Research

Papers

1. Very large set axioms over constructive set theories joint with Hanul Jeon, To appear in the Bulletin of Symbolic Logic doi.org/10.1017/bsl.2024.8 (2024) arxiv:2204.05831 (2022)

2. ZFC without Power Set II: Reflection strikes back joint with Victoria Gitman, To appear in Fundamenta Mathematicae doi.org/10.4064/fm206-11-2023 (2024) arxiv:2206.06220 (2022)

3. Realizability models for large cardinals joint with Laura Fontanella and Guillaume Geoffroy, In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 28:1-28:18, doi.org/10.4230/LIPIcs.CSL.2024.28 (2024)

4. Constructing the Constructible Universe Constructively joint with Michael Rathjen. Annals of Pure and Applied Logic, 175(3), doi.org/10.1016/j.apal.2023.103392 (2024) arxiv:2206.08283 (2022)

5. Taking Reinhardt's Power Away The Journal of Symbol Logic, 87(4), 1643-1662, doi:10.1017/jsl.2022.9 (2022) arxiv:2009.01127 (2021)

Preprints

1. A Guide to Krivine Realizability for Set Theory, arxiv:2307.13563 (2023)

Thesis

1. Ph.D. Thesis: Large Cardinal in Weakened Axiomatic Theories. Written under the supervision of Michael Rathjen and Andrew Brooke-Taylor at the University of Leeds, 2021.